#include <stdlib.h>
#include <stdio.h>

void init_monitor(int argc, char *argv[]);
void sdb_main_loop();
void close_cpu();
int is_exit_status_bad();

int main(int argc, char *argv[]) {
  printf("\n\nstart NPC\n");
  init_monitor(argc, argv);
  sdb_main_loop();
  close_cpu();
  return is_exit_status_bad();
  
}